Advanced Topics in SAT-Solving Part II: Theoretical Aspects Carsten Sinz Wilhelm-Schickard-Institut for Computer Science University of T¨ubingen

Source URL: formal.iti.kit.edu

• Computational complexity theory
• Theoretical computer science
• Logic in computer science
• Complexity classes
• Mathematical optimization
• Boolean algebra
• NP-complete problems
• Boolean satisfiability problem
• 2-satisfiability
• Horn-satisfiability
• P versus NP problem
• Exponential time hypothesis

One-shot learning by inverting a compositional causal process Ruslan Salakhutdinov Dept. of Statistics and Computer Science University of Toronto

Source URL: cims.nyu.edu

• One-shot learning
• Artificial neural network
• Bayesian inference
• Outline of machine learning
• Statistics
• Probability and statistics
• Applied mathematics

Could SFLASH be repaired ? Jintai Ding1 , Bo-Yin Yang2,4 , Chen-Mou Cheng3 , Owen Chen4 , and Vivien Dubois5 1 Dept. of Mathematics and Computer Sciences, University of Cincinnati 2

Source URL: precision.moscito.org

• Algebra
• Mathematics
• Polynomials
• Multivariate cryptography
• Multivariable calculus
• Linear algebra
• Matrices
• Function of several real variables
• Symmetry in mathematics
• Symmetric polynomial
• Trace
• Antisymmetric

Evaluating quality of service for service level agreements Allan Clark and Stephen Gilmore Laboratory for Foundations of Computer Science, The University of Edinburgh, Edinburgh, Scotland

Source URL: www.dcs.ed.ac.uk

• Business
• Economy
• Queueing theory
• Management
• Graph theory
• Markov chain
• Service level
• Service-level agreement
• Airbag
• Statistical hypothesis testing
• Sensitivity analysis
• PEPA

Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs Roopsha Samanta Computer Engineering Research Centre, The University of Texas at Austin.

Source URL: www.cs.purdue.edu

• Mathematics
• Formal languages
• Temporal logic
• Syntax
• Metalogic
• Logic
• Metaphilosophy
• Model theory
• Linear temporal logic
• Interpretation
• Computation tree logic
• Variable

Cognitive Reasoning and Trust in Human-Robot Interactions? Marta Kwiatkowska Department of Computer Science, University of Oxford, Oxford, UK Abstract. We are witnessing accelerating technological advances in autonomous

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Artificial intelligence
• Human behavior
• Cognitive science
• Logic
• Linear temporal logic
• Computation tree logic
• Autonomous agent
• Probabilistic logic
• Trust
• Humanrobot interaction
• Practical reason

CacheBrowser: Bypassing Chinese Censorship without Proxies Using Cached Content John Holowczak and Amir Houmansadr College of Information and Computer Sciences University of Massachusetts Amherst

Source URL: people.cs.umass.edu

dReach: δ-Reachability Analysis for Hybrid Systems Soonho Kong, Sicun Gao, Wei Chen, and Edmund Clarke Computer Science Department, Carnegie Mellon University, USA Abstract. dReach is a bounded reachability analysis to

Source URL: scungao.github.io

• Theoretical computer science
• Mathematics
• Dynamical systems
• Systems science
• Control theory
• Hybrid system
• Systems theory
• Satisfiability modulo theories

Shehar Bano Department of Computer Science, University College London, Gower Street WC1E 6BT, London https://sheharbano.com Employment History. • University College London, Dept. of Computer Science

Source URL: sheharbano.com

• Computing
• California
• Information technology
• Steven Murdoch
• Vern Paxson
• Blockchain
• Association for Computing Machinery
• International Computer Science Institute
• Paxson
• Jon Crowcroft

Precise Predictive Analysis for Discovering Communication Deadlocks in MPI Programs Vojtˇech Forejt, Daniel Kroening, Ganesh Narayanaswamy, and Subodh Sharma Department of Computer Science, University of Oxford, UK Abs

Source URL: qav.comlab.ox.ac.uk

• Parallel computing
• Application programming interfaces
• Computer programming
• Message Passing Interface
• Computing
• Edsger W. Dijkstra
• Deadlock
• NC
• Software engineering
• Model checking